${\it type}$ List \textbf{is Primitive}